home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Atari Mega Archive 1
/
Atari Mega Archive - Volume 1.iso
/
language
/
isetl.arc
/
read.me
< prev
next >
Wrap
Text File
|
1987-08-20
|
3KB
|
90 lines
ISETL 1.6 (c) Gary Marc Levin 1987
This copyright covers the source code, object code, documentation, and
test programs.
This program may be copied in either source or object form and
distributed by anyone. The only restrictions are that this file be
included in any copied material, and that no charge be made over and
above copying, media, and mailing costs.
The program has been developed by Gary Levin at Clarkson University.
Please address any problems or questions to:
Gary Levin
Dept of Math and Computer Science
Clarkson University
Potsdam, NY 13676
(315) 268-2384
nl00@clutx.clarkson.edu
decvax!sii!trixie!sandbox!gary
I would appreciate hearing from anyone who has compiled the
system from the source.
I am also interested in any problems that are discovered. This would
include:
(1) Failures in the software. If there is an error message,
please include that in your report. If the results are
unexpected, include an explanation of what you expected and
what actually occurred. Where possible, please provide sample
input that will reproduce the error.
(2) Problems with the documentation. If you feel that
documentation is misleading or unclear, let me know where you
have problems.
(3) Missing features. If there is a feature that you think would
be useful, describe it and give some examples of how it would
be useful.
=========
To install ISETL from source tape or disks
Load the files into an empty directory.
The result will be:
"READ.ME" (this file)
"isetl" (compiled to run under 4.2bsd) and ".isetlrc"
or "isetl.exe" and "isetl.ini" (MSDOS)
or "isetl 1.6" and "isetl.ini" (Mac).
*.c and *.h files needed to create isetl.
parser.y and scanner.l to re-create parser.h, parser.c, and
scanner.c.
Makefile to automatically perform compilation. Type "make
vax" (use your machine type in place of vax) and wait. Move
"isetl" to wherever you want it. See machine.h if you need to
tailor the source to a machine not yet covered.
explain.tex -- source for the printed documentation.
*.t -- isetl source files to test features and provide
examples.
*.r -- standard output for corresponding *.t files. If you
run "isetl -s", this is the output. There may be some
differences in output, in particular the tests of "random" and
"arb" and printing of sets. If these are the only differences,
everything is fine.
These test cases are also examples of most of the features
present in ISETL.
If you attempt to upload from MSDOS to UNIX, some file names will
have been truncated. If the makefile complains about missing files
(usually by saying "Don't know how to make ..."), check to see if
you have a file whose name needs extending. Those files are
MSDOS UNIX
microcod.c microcode.c
interpre.c interpreter.c
operatio.c operations.c
Similarly, you need to rename "isetl.ini" as ".isetlrc".